Summation of Formal Solutions of a Class of Linear Difference Equations
نویسندگان
چکیده
We consider difference equations y(s+1) = A(s)y(s), where A(s) is an n × n-matrix meromorphic in a neighborhood of ∞ with detA(s) ≡ 0. In general, the formal fundamental solutions of this equation involve gamma-functions which give rise to the critical variable s log s and a level 1. We show that, under a mild condition, formal fundamental matrices of the equation can be summed uniquely to analytic fundamental matrices represented asymptotically by the formal fundamental solution in appropriate domains. The method of proof is analogous to a method used to prove multi-summability of formal solutions of ODE’s. Starting from analytic lifts of the formal fundamental matrix in half planes, we construct a sequence of increasingly precise quasi-functions, each of which is determined uniquely by its predecessor.
منابع مشابه
Numerical Solutions of Special Class of Systems of Non-Linear Volterra Integro-Differential Equations by a Simple High Accuracy Method
متن کامل
Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation
We consider summation of consecutive values φ(v), φ(v+1), . . . , φ(w) of a meromorphic function φ(z) where v, w ∈ ZZ. We assume that φ(z) satisfies a linear difference equation L(y) = 0 with polynomial coefficients, and that a summing operator for L exists (such an operator can be found – if it exists – by the Accurate Summation algorithm, or alternatively, by Gosper’s algorithm when ordL = 1)...
متن کاملOn Borel summation and Stokes phenomena for rank one nonlinear systems of ODE’s
In this paper we study analytic (linear or) nonlinear systems of ordinary differential equations, at an irregular singularity of rank one, under nonresonance conditions. It is shown that the formal asymptotic exponential series solutions (transseries solutions: countable linear combinations of formal power series multiplied by small exponentials) are Borel summable in a generalized sense along ...
متن کاملMulti-level Gevrey solutions of singularly perturbed linear partial differential equations
We study the asymptotic behavior of the solutions related to a family of singularly perturbed linear partial differential equations in the complex domain. The analytic solutions obtained by means of a BorelLaplace summation procedure are represented by a formal power series in the perturbation parameter. Indeed, the geometry of the problem gives rise to a decomposition of the formal and analyti...
متن کاملExistence and uniqueness of weak solutions for a class of nonlinear divergence type diffusion equations
In this paper, we study the Neumann boundary value problem of a class of nonlinear divergence type diffusion equations. By a priori estimates, difference and variation techniques, we establish the existence and uniqueness of weak solutions of this problem.
متن کامل